منابع مشابه
Recherche dirigée par le dernier conflit
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priority, as long as the constraint network can not be made consistent, in order to find the (most recent) culprit variable, following the current partial instantiation from the leaf to the root of the search tree. In other...
متن کاملConflit neurovasculaire de l'angle pontocérébelleux
Les conflits neuro-vasculaires (CNV) de l'angle ponto-cérébelleux sont assez rares et peuvent intéresser les Vème , VIIème , VIIIème ,IXème paires crâniennes, L'angle ponto-cérébelleux est une région anatomique contenant des éléments vasculo-nerveux, les nerfs crâniens le traversent de façon rectiligne, les vaisseaux y décrivent des trajets très variables et sinueux, cette contiguïté anatomique...
متن کاملFabre , Florian and Hétreux, Gilles and Le Lann, Jean Marc and Zaraté, Pascale
Simulation is now a CAPE tool widely used by practicing engineers for process design and control. In particular, it allows various offline analyses to improve system performance such as productivity, energy efficiency, waste reduction, etc. In this framework, we have developed the dynamic hybrid simulation environment PrODHyS whose particularity is to provide general and reusable object-oriente...
متن کاملAnalysis of Communicating Infinite State Machines Using Lattice Automata Tristan Le Gall & Bertrand Jeannet
Communication protocols can be formally described by the Communicating Finite-State Machines (CFSM) model. This model is expressive, but not expressive enough to deal with complex protocols that involve structured messages encapsulating integers or lists of integers. This is the reason why we propose an extension of this model : the Symbolic Communicating Machines (SCM). We also propose an appr...
متن کاملBertrand competition
Bertrand competition is a model of competition used in economics, named after Joseph Louis François Bertrand (1822-1900). Specifically, it is a model of price competition between duopoly firms which results in each charging the price that would be charged under perfect competition, known as marginal cost pricing. The model has the following assumptions: There are at least two firms producing ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Balkanologie
سال: 2004
ISSN: 1279-7952,1965-0582
DOI: 10.4000/balkanologie.2051